var DOCUMENTATION_OPTIONS = {
  URL_ROOT: document
    .getElementById("documentation_options")
    .getAttribute("data-url_root"),
  VERSION: "3.9.5",
  LANGUAGE: "None",
  COLLAPSE_INDEX: false,
  BUILDER: "html",
  FILE_SUFFIX: ".html",
  HAS_SOURCE: true,
  SOURCELINK_SUFFIX: ".txt",
  NAVIGATION_WITH_KEYS: false,
};
